((RepUR ``decidable or`` 2) 
\\[0ex]CollapseTHEN (Auto$\cdot$))$\cdot$